<?php
/*  icon status (yes = green; no = red)
    ============================================================================================================== */
	function iconStatus( $status ){
		if( $status == 0 ) {
		return "<img src=\"/images/false.gif\" />";
		}
		else {
		return "<img src=\"/images/true.gif\" />";
		}
	}

	
	
/*  build ajax-link
    ============================================================================================================== */
	function ajaxLink( $url, $linkText ){
		echo "<a href=\"" . $url . "\" class=\"stmAjax\">" . $linkText . "</a>\n";
	}
	
	
/*  reformat date to german style
    ============================================================================================================== */
	function date_ddmmjjj( $date ){
		$tmp = explode( "-", $date );
		return $tmp[2] . "." . $tmp[1] . "." . $tmp[0];
	}
	
	
/*  system messages in different colors
    ============================================================================================================== */
	function message( $text, $color="grey" ){
	?>
		<div class="message_<?=$color?>">
			<?=$text;?>
		</div>
	<?php
	}



?>